
void f1(void (f)());
void f2(void (*f)());

void accept_psi_to_si(signed int (*psi_to_si)(signed int*));
signed int (*return_psi_to_si())(signed int*);
signed int (*accept_return_psi_to_si(signed int (*psi_to_si)(signed int*)))(signed int*);